81. Computer mathematics: proceedings of the Special Program at Nankai Institute of Mathematics, Tianjin, China, January-June 1991
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Mathematics-- Data processing,Congresses ، Computer science-- Mathematics
رده :
QA
76
.
95
.
C637
1993
82. Computer supported education :
پدیدآورنده: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
83. Computers and Exploratory Learning
پدیدآورنده: edited by Andrea A. diSessa, Celia Hoyles, Richard Noss, Laurie D. Edwards.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-assisted instruction -- Congresses.,Education -- Data processing -- Congresses.,Human-computer interaction -- Congresses.
رده :
LB1028
.
43
E358
1995
84. Computers and mathematics
پدیدآورنده: Erich Kaltofen, Stephen M. Watt, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing - Congresses ، Mathematics
رده :
QA
76
.
95
.
C64
1989
85. Computers in algebra
پدیدآورنده: edited by Martin C. Tangora
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Algebra
رده :
QA
155
.
7
.
E4C66
1988
86. Computers in algebra and number theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebra-- Data processing-- Congresses,، Number theory-- Data processing-- Congresses
رده :
QA
150
.
S9
1970
87. Computing and Combinatorics
پدیدآورنده: Joachim Gudmundsson, Julián Mestre, Taso Viglas (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis-- Data processing, Congresses,Computer science-- Mathematics, Congresses
رده :
QA75
.
5
.
C549
2012eb
88. Computing methods in applied sciences and engineering, 1977, I
پدیدآورنده: Third International Symposium, December 5-9, 7791 ; ]organized by[ IRIA LABORIA, Institut de recherche d'informatique et d'automatique ; edited by R. Glowinski and J.L. Lions
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Data processing -- Congresses ، Numerical analysis,Congresses ، Science -- Data processing,Congresses ، Engineering -- Data processing
رده :
QA
297
.
I5
1977
89. Current trends in scientific computing : ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotang University, Xi'an, China
پدیدآورنده: Zhangxin Chen, Roland Glowinski, Kaitai Li, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Science -- Data processing,Data processing -- Congresses ، Numerical analysis
رده :
Q
183
.
9
.
I285
2002
90. Cybernetics and systems '86 :
پدیدآورنده: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
91. Data depth : robust multivariate analysis, computational geometry, and applications
پدیدآورنده: Regina Y. Liu, Robert Serfling, Diane L. Souvaine, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Multivariate analysis,Data processing -- Congresses ، Geometry
رده :
QA
278
.
D37
92. Descartes and the rise of modern philosophy -- Background to Descartes' meditations -- Descartes' innovations in how philosophy is written -- Lead-in to the first meditation -- The first meditation -- The second meditation -- The third meditation -- The fourth meditation -- The fifth meditation -- The sixth meditation -- A a summary of Cartesian commitments -- Topical highlights from Descartes' correspondence -- Questions about descartes -- Transition to the remainder of the book -- Spinoza -- Overview of Spinozas' philosophy and life -- Ethics part I : on the nature of the universe -- Ethics part II : on the nature and origin of the mind -- Ethics part III : on the nature and origin of actions and passions -- Ethics part IV : on the burdens of human existence and the ways to overcome them -- Ehics part V : on the power of reason to liberate us to live blessedly -- Questions about Spinoza -- Locke -- An overview of Lockes' outlook in the essay -- Essay book I : Lockes' anti-innatist strategy -- Essay book II : perception as the basis for all thinking -- Test case one : thinking about power -- Test case two : thinking about substance -- Test case three : thinking about identity -- Essay book III : expressing thought in language -- Essay book IV : knowledge and opinion -- Questions about Locke -- Leibniz -- Background to Leibnizs' philosophy -- Overview of Leibnizs' philosophy -- How the discourse on metaphysics and the monadology are structured -- Understanding Leibnizs' metaphysics by way of his defense of contingency -- Understanding the debate about what things for Leibniz are substances -- Understanding the debate about Leibnizs' essentialism -- Understanding what it means for the world to be the best possible -- Understanding debates about relations among key Leibnizian theses -- Space and time as relations among phenomena -- Key elements of Leibnizs' epistemology -- Questions about Leibniz -- Berkeley -- Overview of approach to the principles -- Structure of the principles -- Fuller analysis of four key arguments -- Structure of the three dialogues -- A mini-glossary to aid interpretation -- Questions about Berkeley -- Hume -- Main alternatives for interpreting Hume -- An outline of the first enquiry -- Enquiry sections I-III : basic principles and materials of the understanding -- Enquiry sections IV-VII : the basis for all factual thinking -- Enquiry section VIII : implications for freedom and morality -- Enquiry section X : implications for religion based on miracles -- Treatise : overview and key elements of book I, on the understanding -- Treatise : key elements of book II, on the passions -- Treatise : key elements of book III, on morality -- Dialogues : overview and stage-setting part I -- Dialogues parts II-VIII : design argument for natural religion -- Dialogues part IX : cosmological, a priori proof of theism -- Dialogues parts X-XI : evil as challenge to theism -- Dialogues part XII : guides to deciding Humes' overall message -- Questions about Hume -- Kant -- The central,978041
پدیدآورنده: Jeffrey Tlumak. ,by M.J.C. Vile.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
93. Design and implementation of symbolic computation systems :
پدیدآورنده: John Fitch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
94. Design and implementation of symbolic computation systems :
پدیدآورنده: A. Miola, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
95. Design and implementation of symbolic computation systems: International Symposium DISCO' 90, Capri, Italy, April 10-12, 1990: Proceedings
پدیدآورنده: A. Miola, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
429
96. Design and implementation of symbolic computation systems : International Symposium DISCO 90, Capri, Italy, April 10-12, 1990 : proceedings
پدیدآورنده: A. Miola, )Ed.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: System design - Congresses , Mathematics - Data processing - Congresses , Numerical analysis - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1990
97. Design and implementation of symbolic computation systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA
76
.
9
.
S88
.
I576
1990
98. Design and implementation of symbolic computation systems :International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings. ]CD[
پدیدآورنده: Alfonso Miola, ed
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: Congresses ، System design,Data processing Congresses ، Mathematics,Data processing Congresses ، Numerical analysis
رده :
QA76
.
9
.
S88
I576
1993
99. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
پدیدآورنده: Jacques Calmet, Carla Limongelli, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1996
100. Design and implementation of symbolic computation systems : International symposium DISCO'92 , Bath, U.K., April 13-15, 1992 : proceedings
پدیدآورنده: John Fitch )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
721
